package graphNew;

import org.jgrapht.graph.DefaultWeightedEdge;
/**
 * 
 * @author dannysi
 *
 */
public class AgentEdge extends DefaultWeightedEdge{
	//value of edge
	private int numOfOriginalEdges;
	
	/**
	 * CONSTRUCTOR
	 * @param edge
	 */
	public AgentEdge(DefaultWeightedEdge edge){
		super();
		this.numOfOriginalEdges = -1;	//initial value, will be changed
	}
/**
 * GETTER
 * @return
 */
	public int getNumOfOriginalEdges() {
		return numOfOriginalEdges;
	}
/**
 * SETTER
 * @param numOfOriginalEdges
 */
	public void setNumOfOriginalEdges(int numOfOriginalEdges) {
		this.numOfOriginalEdges = numOfOriginalEdges;
	}
	/**
	 * TOSTRING
	 */
	public String toString(){
		return new Integer(this.numOfOriginalEdges).toString();
	}

}
